IMonoid\{i\} $\in$ Type\{i'\}